COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input buslet[1,ra]
C00004 ENDMK
C⊗;
\input buslet[1,ra]
\jmclet
\vskip 30pt
\address 
Professor Stephen Riter
Computer Science Department
University of Texas at El Paso
El Paso, Texas 79968-0518

\body
Dear Professor Riter:

	I am reasonably familiar with the work of Professor Michael
Gelfond, because much of it concerns the circumscription concept,
which I introduced, beginning in 1977.  I consider his work of high
quality, both mathematically and conceptually, and I think promoting
him to tenure will be a correct decision.

	I have been particularly impressed with his understanding
and comparison of the various proposed forms of non-monotonic
reasoning including those implicit in logic programming.  I am
not able to evaluate the work on parallel logic programming,
because it is a very active field that I haven't time to learn.

\closing
Sincerely,       

John McCarthy    
\annotations
\vskip 1in
JMC/ra 
\endletter
\end